many-sorted predicate calculus
多种类谓词演算
热门查询
- Beria 贝里亚（人名）
- dealing n. 交易；行为
- gastrocnemius n. [解剖] 腓肠肌（位于小腿后方）
- admirer n. 爱慕者；赞赏者；钦佩者
- carpal n. 腕骨 adj. 腕骨的
- Uranus n. [天] 天王星
- freshener 洁净爽肤水
- misinterpretation n. 误解；误释
- ranking n. 等级；地位 adj. 上级的；头等的；超群的 v. 排列；归类于（rank的ing形式） n. (Ranking)人名；(英)兰金
- purge n. 净化；泻药 vt. 净化；清洗；通便 vi. 净化；通便
- nook n. 角落；隐匿处；核武器；凹处
- unpeeled 未剥皮的
- defries [人名] 德弗里斯
- Carthusian n. 英国卡特尔公学学生；天主教加尔都西会教士（1804年由法国人圣布鲁诺创立） adj. 加尔都西会的修士或修女；英国卡特尔公学学生的
- cwt abbr. 连续小波变换（continuous wavelet transform）；英担（hundredweight）；平衡物（counterweight）
- PRS abbr. pairs 一对; present 现在; printers （复数）印刷工人; prices 价格
- infrequency n. 罕见；很少发生
- xenophobic adj. 恐惧外国人的
- hj abbr. （拉）hic jacet
- Cadmus n. [希神]卡德摩斯(腓尼基王子)
考试词汇表
- conical friction rlutch
- conical magnetic shield
- conical marine raingage
- conical redpepper fruit
- conical refining engine
- conical rotating screen
- conical rubber neck dam
- conical sand from stone
- conical scanning seeker
- conical urethral bougie
- conical wedge anchorage
- conidial fructification
- coniferin hydrochloride
- coniglobus nux paiwanis
- coniglobus sphaeroconus
- coniogramme procera fee
- conioscinella subnitens
- conioscinella tenuiseta
- conioscypha bambusicola
- conjoined twins,unequal
